COMMERCIAL CONTRACTS: ESSENCE, MEANING, TYPES AND PROCEDURE FOR CONCLUDING
نویسندگان
چکیده
منابع مشابه
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in interacting with components written in a conventional language whose type system provides no way to maintain the affine type system’s aliasing invariants. We propose and implement a technique that uses behavioral contracts t...
متن کاملUnifying Hybrid Types and Contracts
Contract systems and hybrid type systems provide two alternative approaches for enforcing precisely-defined interface specifications, with complementary advantages: contract systems excel at blame assignment, whereas hybrid type systems support type-based static analysis. We unify these two approaches by demonstrating that hybrid type checking is sufficiently expressive to encode higher-order c...
متن کاملThe Essence of Dependent Object Types
Focusing on path-dependent types, the paper develops foundations for Scala from first principles. Starting from a simple calculus D<: of dependent functions, it adds records, intersections and recursion to arrive at DOT, a calculus for dependent object types. The paper shows an encoding of System F with subtyping in D<: and demonstrates the expressiveness of DOT by modeling a range of Scala con...
متن کاملExistence Precedes Essence - Meaning of the Stored-Program Concept
The emergence of electronic stored-program computers in contain the 1940s marks a break with past developments in machine calculation. Drawing on the work of various historians, I attempt to define the essence of that break and therefore of the modern computer. I conclude that the generally used distinction between computers and precursor machines in terms of the stored-program concept and von ...
متن کاملThe Pairing of Contracts and Session Types
We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contracts. The encoding of contracts accommodates complex synchronization patterns, since session types own a simple control protocol. The encodings allow one to use the two formalisms interchangeably, within the context of dyadic i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Efektyvna ekonomika
سال: 2019
ISSN: 2307-2105
DOI: 10.32702/2307-2105-2019.4.55